x86: adjust cr3_pcid() return type
authorJan Beulich <jbeulich@suse.com>
Wed, 18 Sep 2019 13:14:08 +0000 (15:14 +0200)
committerJan Beulich <jbeulich@suse.com>
Wed, 18 Sep 2019 13:14:08 +0000 (15:14 +0200)
commit464409f6cf2c73690426898369431e906100d1c0
treed9716c5e82370bcc55b5184dea25c760029d4c27
parent935641add6be43aa19e7f81e8471aa009db7f499
x86: adjust cr3_pcid() return type

There's no need for it to be 64 bits wide - only the low twelve bits
of CR3 hold the PCID.

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Roger Pau Monné <roger.pau@citrix.com>
Acked-by: Andrew Cooper <andrew.cooper3@citrix.com>
xen/arch/x86/flushtlb.c
xen/include/asm-x86/processor.h